- аксиоматическое построение
- аксіомати́чна побудо́ва
Русско-украинский политехнический словарь. 2013.
аксиоматическое построение
Смотреть что такое "аксиоматическое построение" в других словарях:
Логика — (греч. logike̅́) наука о приемлемых способах рассуждения. Слово «Л.» в его современном употреблении многозначно, хотя и не столь богато смысловыми оттенками, как древнегреч. lógos, от которого оно происходит. В духе традиции с понятием Л … Большая советская энциклопедия
Арифметика — (греч. arithmetika, от arithmys число) наука о числах, в первую очередь о натуральных (целых положительных) числах и (рациональных) дробях, и действиях над ними. Владение достаточно развитым понятием натурального числа и умение… … Большая советская энциклопедия
НЕЙМАН ФОН — (Neumann von) Джон (Янош, Иоганн) (1903 1957) математик, философ (США). Член Национальной академии США, Американского философского общества, Американской Академии искусств и наук, Академии деи Линчей (Италия), Ломбардского института наук и… … История Философии: Энциклопедия
НЕЙМАН фон Джон (Янош, Иоганн) (1903-1957) — математик, философ (США). Член Национальной академии США, Американского философского общества, Американской Академии искусств и наук, Академии деи Линчей (Италия), Ломбардского института наук и литературы, Нидерландской королевской академии наук… … История Философии: Энциклопедия
СИСТЕМА — (от греч. целое, составленное из частей; соединение), совокупность элементов, находящихся в отношениях и связях друг с другом, которая образует определ. целостность, единство. Претерпев длит. историч. эволюцию, понятие С. с сер. 20 в.… … Философская энциклопедия
исчисление высказываний — раздел математической логики, аксиоматическое построение логики высказываний. * * * ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ, раздел математической логики, аксиоматическое построение логики высказываний (см. ЛОГИКА ВЫСКАЗЫВАНИЙ) … Энциклопедический словарь
Каратеодори Константин — (Carathéodory) (1873 1950), немецкий математик. Труды по теории функций, вариационному исчислению. Дал (1909) аксиоматическое построение основ термодинамики. * * * КАРАТЕОДОРИ Константин КАРАТЕОДОРИ (Caratheodory) Константин (1873 1950), немецкий … Энциклопедический словарь
Рассел Бертран — (Russell) (1872 1970), философ, логик, математик, общественный деятель; основоположник английского неореализма и неопозитивизма. Развил дедуктивно аксиоматическое построение логики в целях логического обоснования математики. Автор (совместно с… … Энциклопедический словарь
Система — (от греч. systema целое, составленное из частей; соединение) множество элементов, находящихся в отношениях и связях друг с другом, которое образует определённую целостность, единство. Претерпев длительную историческую эволюцию, понятие С … Большая советская энциклопедия
ПЕАНО — (Peano), Джузеппе (27 авг. 1858 – 20 апр. 1932) – итал. математик и логик. Проф. математики в Туринском ун те (1890–1932). Известен важными результатами в матем. анализе, теории дифференц. уравнений (где ему принадлежит классич. формулировка осн … Философская энциклопедия
Бернштейн, Сергей Натанович — (р. 1880) математик, проф. Харьковского ун та, член корреспондент Всесоюзной академии наук, действительный член Украинской акад. наук. По окончании средней школы отправился в Париж, прошел курс математических наук в Сорбонне, провел около 2 лет в … Большая биографическая энциклопедия
